field of power series

幂级数体